$\forall$$A$, $B$:Realizer. $A$ $\subseteq$ $B$ $\Rightarrow$ R{-}Feasible($B$) $\Rightarrow$ R{-}Feasible($A$)